检索结果

Select

1. 基于Markov链的嵌入式系统硬件可靠性研究

郭荣佐黄君王霖

计算机应用 2012, 32 (04): 1152-1156. DOI: 10.3724/SP.J.1087.2012.01152

摘要（473）

PDF （919KB）（373）

嵌入式系统产品在使用过程中经常出现硬件故障，从而影响系统的安全可靠性。从嵌入式系统硬件层面研究其可靠性。首先定义嵌入式系统硬件目标，简单介绍了Markov过程理论；建立了单个IP硬核和嵌入式系统硬件的Markov模型；应用所建立的模型，对嵌入式站间自动闭塞控制器硬件进行了可靠度计算和分析。实验结果表明，该Markov模型能够准确描述嵌入式系统硬件的状态变迁，并能计算和分析其可靠度，具有一定的实用价值。

参考文献 | 相关文章 | 多维度评价

Select

2. 基于π网的嵌入式系统软硬件划分方法

郭荣佐黄君王霖

计算机应用 2012, 32 (03): 855-860. DOI: 10.3724/SP.J.1087.2012.00855

摘要（1187）

PDF （941KB）（598）

针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法。

参考文献 | 相关文章 | 多维度评价

Select

3. 嵌入式系统软件体系结构动态建模及应用研究

郭荣佐郭进王霖

计算机应用

摘要（1430）

PDF （1009KB）（701）

应用π演算方法，结合Petri网中的面向对象Petri网和时间Petri网，建立了嵌入式系统软件体系结构抽象模型ESAM，研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型，对车站信号联锁控制器进行了建模与分析。